Managing Technology Development for Safety-Critical Systems
نویسندگان
چکیده
منابع مشابه
Managing Architectural Design Decisions for Safety-Critical Software Systems
In this paper, we propose a negative scenario framework along with a mitigation action model as the linkage between safety quality attribute and architecture definition. The scenario framework provides an effective means of formulating safety concerns. The mitigation action model facilitates exploitation and codification of existing safety-critical system design knowledge. Finally, we present a...
متن کاملEmbedded Software Development For Safety Critical Systems
Title Type embedded software development for safety-critical systems PDF mission-critical and safety-critical systems handbook design and development for embedded applications PDF software engineering for embedded systems chapter 17 multicore software development for embedded systems this chapter draws on material from the multicore guide mpp from the multicore association PDF embedded systems ...
متن کاملDevelopment of Safety-Critical Real-Time Systems
This paper presents an approach to the development of safety-critical real-time systems linking from the Requirements Language developed in the ESPRIT Project ProCoS to the Temporal Language of Transitions (TLT) speciication language developed at Siemens Corporate Research. A system is deened by a conventional mathematical model for a dynamic system where application speciic states denote funct...
متن کاملIntegrated Development Framework for Safety-Critical Embedded Systems
This paper presents an integrated framework for designing and implementing safety-critical embedded systems. The development begins with the specification of the system using the Prelude language. Then there is the compilation step, where the Prelude compiler translates the program into a set of communicating periodic tasks that preserve the semantics of the original program. The necessary sche...
متن کاملHealth Modelling for Agility in Safety- Critical Systems Development
In the domain of software development, agile techniques are increasingly being used to improve the development process. Agile software development relies in part on rapid feedback of working software products to validate user requirements. There has been some effort to introduce agility in securitycritical systems, using an explicit representation of security concerns known as an iterative secu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SSRN Electronic Journal
سال: 2006
ISSN: 1556-5068
DOI: 10.2139/ssrn.887883